$def with (tip)

<html>
    <title>Tip</title>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
    <body>
        <center>
            $:tip
        </center>
    </body>
</html>